Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
نویسندگان
چکیده
منابع مشابه
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a prominent problem in knowledge representation and databases. This problem can be solved using the chase algorithm, which extends the given set of facts with fresh facts in order to satisfy the rules. If the chase terminates, then CQs can be evaluated directly in the resulting set of facts. The chase, ho...
متن کاملTractable Query Answering for Expressive Ontologies and Existential Rules
The disjunctive skolem chase is a sound and complete (albeit non-terminating) algorithm that can be used to solve conjunctive query answering over DL ontologies and programs with disjunctive existential rules. Even though acyclicity notions can be used to ensure chase termination for a large subset of real-world knowledge bases, the complexity of reasoning over acyclic theories still remains hi...
متن کاملExtending Acyclicity Notions for Existential Rules (\emph{long version})
Existential rules have been proposed for representing on-tological knowledge, specifically in the context of Ontology-BasedQuery Answering. Entailment with existential rules is undecidable.We focus in this paper on conditions that ensure the terminationof a breadth-first forward chaining algorithm known as the chase.First, we propose a new tool that allows to extend existing...
متن کاملQuery Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity
The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the ‘context’ of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts. Although this distinction separates the triples in an RD...
متن کاملQuery Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity
The recent outburst of context-dependent knowledge on the Semantic Web (SW) has led to the realization of the importance of the quads in the SW community. Quads, which extend a standard RDF triple, by adding a new parameter of the ‘context’ of an RDF triple, thus informs a reasoner to distinguish between the knowledge in various contexts. Although this distinction separates the triples in an RD...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2013
ISSN: 1076-9757
DOI: 10.1613/jair.3949